Building certified libraries for PCC: dynamic storage allocation
نویسندگان
چکیده
منابع مشابه
Building Certified Libraries for PCC: Dynamic Storage Allocation
Proof-Carrying Code (PCC) allows a code producer to provide to a host a program along with its formal safety proof. The proof attests a certain safety policy enforced by the code, and can be mechanically checked by the host. While this language-based approach to code certification is very general in principle, existing PCC systems have only focused on programs whose safety proofs can be automat...
متن کاملBuilding certi"ed libraries for PCC: dynamic storage allocation
Proof-carrying code (PCC) allows a code producer to provide to a host a program along with its formal safety proof. The proof attests to a certain safety policy enforced by the code, and can be mechanically checked by the host. While this language-based approach to code certi"cation is very general in principle, existing PCC systems have only focused on programs whose safety proofs can be autom...
متن کاملGeneralized Dynamic Storage Allocation
Dynamic Storage Allocation is a problem concerned with storing items that each have weight and time restrictions. Approximate algorithms have been constructed through online coloring of interval graphs. We present a generalization that uses online coloring of tolerance graphs. We utilize online-with-representation algorithms on tolerance graphs, which are online algorithms in which the correspo...
متن کاملSpecialized Hardware Support for Dynamic Storage Allocation
SPECIALIZED HARDWARE SUPPORT FOR DYNAMIC STORAGE ALLOCATION by Steven M. Donahue ADVISOR: Dr. Ron K. Cytron May, 2003 Saint Louis, Missouri With the advent of operating systems and programming languages that can evaluate and guarantee real-time specifications, applications with real-time requirements can be authored in higher-level languages. For example, a version of Java suitable for real-tim...
متن کاملScalability of Dynamic Storage Allocation Algorithms
Dynamic storage allocation has a signi cant impact on computer performance. A dynamic storage allocator manages space for objects whose lifetimes are not known by the system at the time of their creation. A good dynamic storage allocator should utilize storage e ciently and satisfy requests in as few instructions as possible. A dynamic storage allocator on a multiprocessor should have the abili...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2004
ISSN: 0167-6423
DOI: 10.1016/j.scico.2004.01.003